Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
571	PDF Document Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-09-12 09:57:07 Science Models of computation Systems engineering Markov processes Concurrency Markov chain Markov model Model checking Petri net Mathematics Statistics Diagrams
572	Bayesian Checking for Topic Models David Mimno David Blei Department of Computer Science Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2015-03-12 00:16:22 Topic model Deviance Discrepancy function Multinomial distribution Multivariate Pólya distribution Dynamic topic model Statistics Statistical natural language processing Latent Dirichlet allocation
573	The stochastic simulator of the AltaRica 3.0 project Michel BATTEUX, Antoine RAUZY LIX – École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:35:00 Scientific modeling Concurrency Software architecture Systems architecture Model checking Petri net Modeling language Reliability engineering Simulation Design Systems engineering Systems science
574	Checking for internal and inter-model consistency using an optimal regression detection algorithm – a justification and met... Add to Reading List Source URL: www.cru.uea.ac.uk Language: English - Date: 2009-12-22 04:43:47 Estimation theory Parametric statistics HadCM3 Ordinary least squares Ozone depletion Errors and residuals in statistics Statistics Regression analysis Econometrics
575	c 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-04-14 05:36:42 Diagrams Algorithm Theoretical computer science Binary decision diagram Economic model Model checking Function Mathematics Boolean algebra Mathematical logic
576	Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2009-02-12 11:31:56 Search algorithms Application programming interfaces Parallel computing Breadth-first search Message Passing Interface Depth-first search Model checking Graph Distributed computing Mathematics Graph theory Theoretical computer science
577	Secure Virtualization with Formal Methods Cynthia Sturton Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-12-19 00:17:07 Hardware virtualization X86 architecture X86 virtualization Model checking Virtualization Hypervisor Formal methods Verification and validation Bochs System software Software Virtual machines
578	On the Complexity of Existential Positive Queries HUBIE CHEN, Universidad del Pa´ıs Vasco and IKERBASQUE We systematically investigate the complexity of model checking the existential positive fragment of firstorder lo Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2013-09-23 12:22:15 Finite model theory Model theory Parameterized complexity Analysis of algorithms Structural complexity theory FO First-order logic SO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
579	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
580	Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-07-31 02:23:26 Software engineering Formal methods Constraint programming Logic in computer science Logic programming Solver Formal verification Synthesizer Model checking Applied mathematics Theoretical computer science Programming paradigms

UPDATE